English program checking: translation to other languages